Herzog von Oberlothringen = Herzöge Oberlothringen